21. Design, Analysis and Test of Logic Circuits Under Uncertaint
پدیدآورنده: / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer hardware,Computer science,Logic design,Operating systems (Computers),Algebra, Data processing,Systems engineering,Electronic books
رده :
E-BOOK
22. Fundamentals of Scientific Computing
پدیدآورنده: / Bertil Gustafsson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer simulation,Computer science -- Mathematic,Science -- Methodology,Science -- Data processing,شبیه‌سازی کامپیوتری,علوم کامپیوتر -- ریاضیات,علوم -- روش شناسی,علوم -- داده‌پردازی
رده :
QA76
,.
9
.
C65
,
G8
2011
23. GPU computing gems /
پدیدآورنده: [edited by] Wen-mei W. Hwu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics,Graphics processing units-- Programming,Image processing-- Digital techniques,Imaging systems
رده :
T385
.
G6875
2012
24. Guide to scientific computing in C++ /
پدیدآورنده: Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C++ (Computer program language),Science-- Data processing.,C++ (Computer program language),Computer modelling & simulation.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Maths for computer scientists.,Programming & scripting languages: general.,Science-- Data processing.,Software Engineering.
رده :
QA76
.
73
.
C153
25. Innovative Informations-Infrastrukturen :
پدیدآورنده: B. Gollan, W.J. Paul, A. Schmitt (Hrsg.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Congresses.,Computer software.,Electronic data processing -- Congresses.
رده :
QA75
.
5
B465
1988
26. Parallel Scientific Computing :
پدیدآورنده: by Jack Dongarra, Jerzy Wasniewski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Combinatorial analysis.,Computer Communication Networks.
رده :
QA76
.
58
B953
1994
27. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده: edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
28. Quantitative Methods in Parallel Systems
پدیدآورنده: edited by François Baccelli, Alain Jean-Marie, Isi Mitrani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.
رده :
QA76
.
58
E358
1995
29. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده: ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
30. Robotics :
پدیدآورنده: Bruno Siciliano [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Manipulators (Mechanism),Robots-- Control systems.,Robots-- Motion.,Ingénierie.,Manipulators (Mechanism),Manipulators (Mechanism),Robots-- Control systems.,Robots-- Control systems.,Robots-- Motion.,Robots-- Motion.
رده :
TJ211
.
35
.
S43
2009eb
31. The art of R programming :
پدیدآورنده: by Norman Matloff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
.
M2925
2011
